Acceptance Criteria for Critical Software Based on Testability Estimates and Test Results

Testability is defined as the probability that a program will fail a test, conditional on the program containing some fault. In this paper, we show that statements about the testability of a program can be more simply described in terms of assumptions on the probability distribution of the failure intensity of the program. We can thus state general acceptance conditions in clear mathematical terms using Bayesian inference. We develop two scenarios, one for software for which the reliability requirements are that the software must be completely fault-free, and another for requirements stated as an upper bound on the acceptable failure probability

Single-dose liposomal amphotericin B (AmBisome®) for the treatment of Visceral Leishmaniasis in East Africa: study protocol for a randomized controlled trial

BACKGROUND: AmBisome® is an efficacious, safe anti-leishmanial treatment. There is growing interest in its use, either as a single dose or in combination treatments. In East Africa, the minimum optimal single-dosage has not been identified. METHODS/DESIGN: An open-label, 2-arm, non-inferiority, multi-centre randomised controlled trial is being conducted to determine the optimal single-dose treatment with AmBisome®.Patients in the single-dose arm will receive one infusion on day 1, at a dose depending on body weight. For the first group of patients entered to the trial, the dose will be 7.5 mg/kg, but if this dose is found to be ineffective then in subsequent patient series the dose will be escalated progressively to 10, 12.5 and 15 mg/kg. Patients in the reference arm will receive a multi-dose regimen of AmBisome® (3 mg/kg/day on days 1-5, 14 and 21: total dose 21 mg/kg). Patients will be hospitalised for approximately one month after the start of treatment and then followed up at three and six months. The primary endpoint is the status of patients six months after treatment. A secondary endpoint is assessment at day 30. Treatment success is determined as the absence of parasites on microscopy samples taken from bone marrow, lymph node or splenic aspirates. Interim analyses to assess the comparative efficacy of the single dose are planned after recruitment of 20 and 40 patients per arm. The final non-inferiority analysis will include 120 patients per arm, to determine if the single-dose efficacy 6 months after treatment is not more than 10% inferior to the multi-dose. DISCUSSION: An effective, safe single-dose treatment would reduce hospitalization and treatment costs. Results will inform the design of combination treatment studies. TRIAL REGISTRATION: ClinicalTrials.gov NCT00832208

Investigation of attentional bias in obsessive compulsive disorder with and without depression in visual search

Copyright: © 2013 Morein-Zamir et al. This is an open-access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are creditedWhether Obsessive Compulsive Disorder (OCD) is associated with an increased attentional bias to emotive stimuli remains controversial. Additionally, it is unclear whether comorbid depression modulates abnormal emotional processing in OCD. This study examined attentional bias to OC-relevant scenes using a visual search task. Controls, non-depressed and depressed OCD patients searched for their personally selected positive images amongst their negative distractors, and vice versa. Whilst the OCD groups were slower than healthy individuals in rating the images, there were no group differences in the magnitude of negative bias to concern-related scenes. A second experiment employing a common set of images replicated the results on an additional sample of OCD patients. Although there was a larger bias to negative OC-related images without pre-exposure overall, no group differences in attentional bias were observed. However, OCD patients subsequently rated the images more slowly and more negatively, again suggesting post-attentional processing abnormalities. The results argue against a robust attentional bias in OCD patients, regardless of their depression status and speak to generalized difficulties disengaging from negative valence stimuli. Rather, post-attentional processing abnormalities may account for differences in emotional processing in OCD.Peer reviewedFinal Published versio

Effective Rheology of Bubbles Moving in a Capillary Tube

We calculate the average volumetric flux versus pressure drop of bubbles moving in a single capillary tube with varying diameter, finding a square-root relation from mapping the flow equations onto that of a driven overdamped pendulum. The calculation is based on a derivation of the equation of motion of a bubble train from considering the capillary forces and the entropy production associated with the viscous flow. We also calculate the configurational probability of the positions of the bubbles.Comment: 4 pages, 1 figur

Concomitant malaria among visceral leishmaniasis in-patients from Gedarif and Sennar States, Sudan: a retrospective case-control study

In areas where visceral leishmaniasis (VL) and malaria are co-endemic, co-infections are common. Clinical implications range from potential diagnostic delay to increased disease-related morbidity, as compared to VL patients. Nevertheless, public awareness of the disease remains limited. In VL-endemic areas with unstable and seasonal malaria, vulnerability to the disease persists through all age-groups, suggesting that in these populations, malaria may easily co-occur with VL, with potentially severe clinical effects

The “Far-West” of Anopheles gambiae Molecular Forms

The main Afrotropical malaria vector, Anopheles gambiae sensu stricto, is undergoing a process of sympatric ecological diversification leading to at least two incipient species (the M and S molecular forms) showing heterogeneous levels of divergence across the genome. The physically unlinked centromeric regions on all three chromosomes of these closely related taxa contain fixed nucleotide differences which have been found in nearly complete linkage disequilibrium in geographic areas of no or low M-S hybridization. Assays diagnostic for SNP and structural differences between M and S forms in the three centromeric regions were applied in samples from the western extreme of their range of sympatry, the only area where high frequencies of putative M/S hybrids have been reported. The results reveal a level of admixture not observed in the rest of the range. In particular, we found: i) heterozygous genotypes at each marker, although at frequencies lower than expected under panmixia; ii) virtually all possible genotypic combinations between markers on different chromosomes, although genetic association was nevertheless detected; iii) discordant M and S genotypes at two X-linked markers near the centromere, suggestive of introgression and inter-locus recombination. These results could be indicative either of a secondary contact zone between M and S, or of the maintenance of ancestral polymorphisms. This issue and the perspectives opened by these results in the study of the M and S incipient speciation process are discussed

Geographical Variation in the Response of Visceral Leishmaniasis to Paromomycin in East Africa: A Multicentre, Open-Label, Randomized Trial

Visceral leishmaniasis (VL) is a fatal parasitic disease with 500,000 new cases each year according to WHO estimates. New and better treatment options are urgently needed in disease endemic areas due to the long courses, toxicity and development of resistance to current treatments. Recently, the antibiotic paromomycin was tested and registered in India to treat this disease. The current study describes a clinical trial to test the effectiveness of injectable paromomycin, either alone or in combination with the standard drug sodium stibogluconate in three East African countries—Sudan, Kenya and Ethiopia. The study showed that at the same paromomycin dose that was successfully used and registered in India, a far poorer outcome was obtained, particularly in Sudan, suggesting that there are either differences in the patients ability to respond to the drug or in the susceptibility of parasites in East Africa compared with those in India. However, no major safety concerns were noted with the treatment. Further research was initiated to see if a higher dose of paromomycin would perform better, especially in Sudan. The results of this and the performance of the combination arm will be reported later. Our study highlights the importance of considering geographical differences to treatment responses